Appears in the Proceedings of the 21th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS ’16) TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datac

Source URL: ucare.cs.uchicago.edu

• Computing
• Computer errors
• Computer jargon
• Parallel computing
• Software bug
• Distributed computing
• MapReduce
• Communications protocol
• Software testing
• Reboot
• Crash
• Reliability

CE881-7-SP MSc Progress Test Sample – Mobile and Social Application Programming Question 1 Suppose the following attribute declaration occurs in AndroidManifest.xml:

Source URL: orb.essex.ac.uk

• Computing
• Software engineering
• Computer programming
• Object-oriented programming languages
• Cross-platform software
• Java
• IBM i Control Language
• String
• HTML element
• Comparison of C Sharp and Java

Verifiable Programming of Object-Oriented and Distributed Systems∗ Olaf Owe University of Oslo, Department of Informatics, Oslo, Norway, and University of California, Santa Cruz, Department of Computer Science, USA Apr

Source URL: heim.ifi.uio.no

• Software engineering
• Computer programming
• Computing
• Object-oriented programming
• Software design patterns
• Concurrent programming languages
• Cross-platform software
• Method
• Objective-C
• Invariant
• Null Object pattern
• Protocol

Robotics: Science and Systems, JuneThe Motion Grammar: Linguistic Perception, Planning, and Control Neil Dantam and Mike Stilman School of Interactive Computing, Center fo

Source URL: www.neil.dantam.name

• Software engineering
• Parsing algorithms
• Formal languages
• Compiler construction
• Programming language implementation
• Software
• Context-free grammar
• Syntax
• Parsing
• Formal grammar
• Recursive descent parser
• Compiler-compiler

Technical Report Nr. TUD-CSFeb. 5th, 2015 Harvesting Runtime Data in Android Applications for Identifying Malware and

Source URL: www.bodden.de

• Software engineering
• Computing
• Computer programming
• Cross-platform software
• Object-oriented programming languages
• Procedural programming languages
• Concurrent programming languages
• Program analysis
• Program slicing
• Android
• Java
• Subroutine

Workshop on High-Productivity Programming Languages and Models Santa Monica, California May 17-20th, 2004

Source URL: wgropp.cs.illinois.edu

Sixth Central- and Eastern European Conference on Computer Algebra- and Dynamic Geometry Systems in Mathematics Education 7-10 September, 2016 Targu Mures, Romania Workshop

Source URL: cadgme.ms.sapientia.ro

• Publishing
• Typography
• Application software
• Macro programming languages
• Digital typography
• Donald Knuth
• Desktop publishing software
• TeX
• Typesetting
• Sapientia University
• Mathematical object
• Mathematics

String Edit Distance (and intro to dynamic programming) Lecture #4 Computational Linguistics CMPSCI 591N, Spring 2006

Source URL: bioinfo.ict.ac.cn

• Software engineering
• Computer programming
• Mathematics
• Dynamic programming
• Functional languages
• Quantitative linguistics
• Equations
• Systems engineering
• Levenshtein distance
• University of Massachusetts Amherst
• Fibonacci number
• Edit distance

TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract

Source URL: users.ece.cmu.edu

• Software engineering
• Computing
• Computer programming
• Data types
• Type theory
• Concurrent programming languages
• C++
• Decompiler
• Low-level programming language
• Type system
• Type inference
• Assembly language

Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1

Source URL: homes.soic.indiana.edu

• Software engineering
• Computing
• Programming language theory
• Type theory
• Data types
• Procedural programming languages
• C++
• Lambda calculus
• Type system
• Type safety
• Gradual typing
• ALGOL 68